Design and implementation of a tool for translating SBML into the biochemical stochastic p-calculus

نویسندگان

  • Claudio Eccher
  • Corrado Priami
چکیده

Motivation: SBML is becoming a standard ‘de-facto’ to represent and store biological models. Although SBML is very useful in defining ways of exchanging and storing biological information, it is not formal enough to allow direct translation into non ambiguous formal representation languages to perform analysis and simulation of models. We here suggest to map SBML models into process calculi represen-

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design and Implementation of a Tool for Translating SBML into the Biochemical Stochastic π - calculus

Motivation: SBML is becoming a standard ”de-facto” to represent and store biological models. Although SBML is very useful in defining ways of exchanging and storing biological information, it is not formal enough to allow direct translation into non ambiguous formal representation languages to perform analysis and simulation of models. We here suggest to map SBML models into process calculi rep...

متن کامل

Translating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation

This paper addresses the translation of Systems Biology MarkUp Language (SBML) Level 2 models of network of biochemical reactions to the Biochemical Stochastic π-calculus (SPI). SBML is XML-based formalism for systems biology, while SPI can describe the concurrency of the different interactions occurring in a network of biochemical stochastic reactions. SPI models can be used for simulation by ...

متن کامل

Translation of Systems Biology Markup Language into Process Algebra

We address the automatic translation of Systems Biology Mark-Up Language (SBML) models of network of biochemical reactions into the Biochemical Stochastic π-calculus. SBML is XML-based widespread exchange language for systems biology. The Biochemical Stochastic π-calculus can describe the concurrency of a network of biochemical reactions. Available tools allow to simulate π-calculus models to o...

متن کامل

Graphical User Interface for Stochastic Simulation of Biochemical Networks

Introduction We have developed a user interface for stochastic simulation of biochemical networks. This tool allows users to load a model in SBML format, generate data using a stochastic simulator (currently Gillespie simulator based on SSA) and carry out statistical analysis on the results. These include computation of probability density histograms, ensemble means and averages, power spectral...

متن کامل

MOCCASIN: converting MATLAB ODE models to SBML

UNLABELLED MATLAB is popular in biological research for creating and simulating models that use ordinary differential equations (ODEs). However, sharing or using these models outside of MATLAB is often problematic. A community standard such as Systems Biology Markup Language (SBML) can serve as a neutral exchange format, but translating models from MATLAB to SBML can be challenging-especially f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006